Krogh, Bruce H: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Solution of the transport equations using a moving coordinate system

Ole Krogh Jensen, Bruce A. Finlayson

Journal:

Advances in Water Resources

Year:

1980

Language:

english

File:

PDF, 881 KB

english, 1980

2

Supporting Heterogeneity in Cyber-Physical Systems Architectures

Rajhans, Akshay, Bhave, Ajinkya, Ruchkin, Ivan, Krogh, Bruce H., Garlan, David, Platzer, Andre, Schmerl, Bradley

Journal:

IEEE Transactions on Automatic Control

Year:

2014

Language:

english

File:

PDF, 1.16 MB

english, 2014

3

Oscillation limits for weighted residual methods applied to convective diffusion equations

Ole Krogh Jensen, Bruce A. Finlayson

Journal:

International Journal for Numerical Methods in Engineering

Year:

1980

Language:

english

File:

PDF, 355 KB

english, 1980

4

Reachability Analysis of Nonlinear Differential-Algebraic Systems

Althoff, Matthias, Krogh, Bruce H.

Journal:

IEEE Transactions on Automatic Control

Year:

2014

Language:

english

File:

PDF, 3.61 MB

english, 2014

5

[IEEE 2011 IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS) - Chicago, IL, USA (2011.04.12-2011.04.14)] 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems - View Consistency in Architectures for Cyber-Physical Systems

Bhave, Ajinkya, Krogh, Bruce H., Garlan, David, Schmerl, Bradley

Year:

2011

Language:

english

File:

PDF, 984 KB

english, 2011

6

[IEEE 2012 IEEE Third International Conference on Smart Grid Communications (SmartGridComm) - Tainan, Taiwan (2012.11.5-2012.11.8)] 2012 IEEE Third International Conference on Smart Grid Communications (SmartGridComm) - Using smart devices for system-level management and control in the smart grid: A reinforcement learning framework

Kara, Emre Can, Berges, Mario, Krogh, Bruce, Kar, Soummya

Year:

2012

Language:

english

File:

PDF, 617 KB

english, 2012

7

[IEEE 2007 American Control Conference - New York, NY, USA (2007.07.9-2007.07.13)] 2007 American Control Conference - A New Logic Programming Framework for Heterogeneous Verification of Embedded Control Systems

Kumar, Rajesh, Krogh, Bruce H.

Year:

2007

Language:

english

File:

PDF, 314 KB

english, 2007

8

[ACM Press the 14th international conference - Chicago, IL, USA (2011.04.12-2011.04.14)] Proceedings of the 14th international conference on Hybrid systems: computation and control - HSCC '11 - Reachable set computation for uncertain time-varying linear systems

Althoff, Matthias, Le Guernic, Colas, Krogh, Bruce H.

Year:

2011

Language:

english

File:

PDF, 1.46 MB

english, 2011

9

An Integrated Rule-Based/Algorithmic Architecture for On-Line Process Monitoring and Reactive Control

Krogh, Bruce H., Paul, C.J., Yan, Dwo-Wen, Strosnider, Jay K., Holloway, Lawrence E.

Journal:

IFAC Proceedings Volumes

Year:

1992

Language:

english

File:

PDF, 1.46 MB

english, 1992

10

[IEEE 2017 IEEE PES/IAS PowerAfrica - Accra, Ghana (2017.6.27-2017.6.30)] 2017 IEEE PES PowerAfrica - Simulating energy management strategies for microgrids with smart meter demand management

Thornburg, Jesse, Krogh, Bruce

Year:

2017

Language:

english

File:

PDF, 1.32 MB

english, 2017

11

Synthesis of feedback control logic for discrete manufacturing systems

Bruce H. Krogh, Lawrence E. Holloway

Journal:

Year:

1991

Language:

english

File:

PDF, 1.01 MB

english, 1991

12

On the computation of reference signal constraints for guaranteed tracking performance

Timothy J. Graettinger, Bruce H. Krogh

Journal:

Year:

1992

Language:

english

File:

PDF, 1.38 MB

english, 1992

13

The segment method as an alternative to minimax in hypothesis testing

Bruce H. Krogh, H.Vincent Poor

Journal:

Information Sciences

Year:

1982

Language:

english

File:

PDF, 1.24 MB

english, 1982

14

Concurrent operation specification language, COSL, for low-level manufacturing control

Dhiraj K. Pathak, Bruce H. Krogh

Journal:

Computers in Industry

Year:

1989

Language:

english

File:

PDF, 1.20 MB

english, 1989

15

Time Domain Verification of Oscillator Circuit Properties

Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 723 KB

english, 2006

16

Verification of a cruise control system using counterexample-guided search

Olaf Stursberg, Ansgar Fehnker, Zhi Han, Bruce H Krogh

Journal:

Control Engineering Practice

Year:

2004

Language:

english

File:

PDF, 297 KB

english, 2004

17

ACTL strong negation and its application to hybrid systems verification

Zhi Han, Alongkrit Chutinan, Bruce H. Krogh

Journal:

Control Engineering Practice

Year:

2006

Language:

english

File:

PDF, 343 KB

english, 2006

18

Supervisor Synthesis for Real-Time Discrete Event Systems

Archana S. Sathaye, Bruce H. Krogh

Journal:

Discrete Event Dynamic Systems

Year:

1998

Language:

english

File:

PDF, 562 KB

english, 1998

19

Undergraduate embedded system education at carnegie mellon

Koopman, Philip, Smailagic, Asim, Steenkiste, Peter, Thomas, Donald E., Wang, Chenxi, Choset, Howie, Gandhi, Rajeev, Krogh, Bruce, Marculescu, Diana, Narasimhan, Priya

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2005

Language:

english

File:

PDF, 159 KB

english, 2005

20

Dynamic steering control of conventionally steered mobile robots

Dai Feng, Bruce H. Krogh

Journal:

Journal of Field Robotics

Year:

1991

Language:

english

File:

PDF, 1.36 MB

english, 1991

21

An approach to leak detection using wireless sensor networks at carbon sequestration sites

James Weimer, Bruce H. Krogh, Mitchel J. Small, Bruno Sinopoli

Journal:

International Journal of Greenhouse Gas Control

Year:

2012

Language:

english

File:

PDF, 1.32 MB

english, 2012

22

CACHE: An Interactive Control System Analysis and Design Package

Mason, J. Mark, Neuman, Charles P., Krogh, Bruce H.

Journal:

IEEE Transactions on Education

Year:

1985

Language:

english

File:

PDF, 2.27 MB

english, 1985

23

Allocation of Generation Ramping to Reduce Transmission Line Overloads

Krogh, Bruce H.

Journal:

IEEE Power Engineering Review

Year:

1983

Language:

english

File:

PDF, 476 KB

english, 1983

24

Multi-Stage Rescheduling of Generation, Load Shedding and Short-Term Transmission Capacity for Emergency State Control

Krogh, Bruce, Javid, S. Harold, Chow, Joe H.

Journal:

IEEE Power Engineering Review

Year:

1983

Language:

english

File:

PDF, 220 KB

english, 1983

25

Simulation Testing of Rate Allocation Control to Relieve Transmission Overloads During Emergencies

Chow, Joe H., Schulz, Richard P., Krogh, Bruce H.

Journal:

IEEE Power Engineering Review

Year:

1984

Language:

english

File:

PDF, 440 KB

english, 1984

26

[IEEE Energy Society General Meeting - Detroit, MI, USA (2011.07.24-2011.07.29)] 2011 IEEE Power and Energy Society General Meeting - Decentralized robust frequency control for power systems subject to wind power variability

Liu, Juhua, Krogh, Bruce H., Ydstie, B. Erik

Year:

2011

Language:

english

File:

PDF, 534 KB

english, 2011

27

[ACM Press the 2nd international conference - Boston, MA, USA (2004.06.06-2004.06.09)] Proceedings of the 2nd international conference on Mobile systems, applications, and services - MobiSYS '04 - Energy-efficient surveillance system using wireless sensor networks

He, Tian, Krogh, Bruce, Krishnamurthy, Sudha, Stankovic, John A., Abdelzaher, Tarek, Luo, Liqian, Stoleru, Radu, Yan, Ting, Gu, Lin, Hui, Jonathan

Year:

2004

Language:

english

File:

PDF, 831 KB

english, 2004

28

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 1790 || Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations

Lynch, Nancy, Krogh, Bruce H.

Year:

2000

Language:

english

File:

PDF, 205 KB

english, 2000

29

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 1790 || Hybrid Systems Diagnosis

Lynch, Nancy, Krogh, Bruce H.

Year:

2000

Language:

english

File:

PDF, 128 KB

english, 2000

30

[American Institute of Aeronautics and Astronautics 2nd AIAA "Unmanned Unlimited" Conf. and Workshop & Exhibit - San Diego, California ()] 2nd AIAA "Unmanned Unlimited" Conf. and Workshop & Exhibit - Validation & Verification of Intelligent and Adaptive Control Systems

Buffington, James, Crum, Vince, Krogh, Bruce, Plaisted, Clinton, Prasanth, Ravi, Bose, Prasanta, Johnson, Tim

Year:

2003

Language:

english

File:

PDF, 420 KB

english, 2003

31

[American Institute of Aeronautics and Astronautics AIAA Guidance, Navigation, and Control Conference and Exhibit - Providence, Rhode Island ()] AIAA Guidance, Navigation, and Control Conference and Exhibit - Validation and Verification of Intelligent and Adaptive Control Systems

Tallant, Gregory, Buffington, James, Crum, Vincent, Krogh, Bruce, Plaisted, Clinton, Prasanth, Ravi, Bose, Prasanta, Johnson, Tim

Year:

2004

Language:

english

File:

PDF, 878 KB

english, 2004

32

[ACM Press the 1st ACM/IEEE International Conference - Stockholm, Sweden (2010.04.13-2010.04.15)] Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems - ICCPS '10 - A cyber-physical systems approach to energy management in data centers

Parolini, Luca, Tolia, Niraj, Sinopoli, Bruno, Krogh, Bruce H.

Year:

2010

Language:

english

File:

PDF, 402 KB

english, 2010

33

Plasma Lipids, Genetic Variants Near APOA1 , and the Risk of Infantile Hypertrophic Pyloric Stenosis

Feenstra, Bjarke, Geller, Frank, Carstensen, Lisbeth, Romitti, Paul A., Körberg, Izabella Baranowska, Bedell, Bruce, Krogh, Camilla, Fan, Ruzong, Svenningsson, Anna, Caggana, Michele, Nordenskjöld, Ag

Journal:

JAMA The Journal of the American Medical Association

Year:

2013

Language:

english

File:

PDF, 398 KB

english, 2013

34

[ACM Press the 3rd international conference - San Diego, California, USA (2005.11.02-2005.11.04)] Proceedings of the 3rd international conference on Embedded networked sensor systems - SenSys '05 - Lightweight detection and classification for wireless sensor networks in realistic environments

Gu, Lin, Abdelzaher, Tarek, Krogh, Bruce H., Jia, Dong, Vicaire, Pascal, Yan, Ting, Luo, Liqian, Tirumala, Ajay, Cao, Qing, He, Tian, Stankovic, John A.

Year:

2005

Language:

english

File:

PDF, 1.04 MB

english, 2005

35

Control-Based Modeling and Simulation of the Chemical-Looping Combustion Process

Balaji, S., Ilic, Jovan, Ydstie, B. Erik, Krogh, Bruce H.

Journal:

Industrial & Engineering Chemistry Research

Year:

2010

Language:

english

File:

PDF, 1.24 MB

english, 2010

36

[IEEE 2013 IEEE International Conference on Smart Grid Communications (SmartGridComm) - Vancouver, BC, Canada (2013.10.21-2013.10.24)] 2013 IEEE International Conference on Smart Grid Communications (SmartGridComm) - A moving horizon state estimator in the control of thermostatically controlled loads for demand response

Kara, Emre Can, Kolter, Zico, Berges, Mario, Krogh, Bruce, Hug, Gabriela, Yuksel, Tugce

Year:

2013

Language:

english

File:

PDF, 1.03 MB

english, 2013

37

[IEEE 2008 28th International Conference on Distributed Computing Systems Workshops (ICDCS Workshops) - Beijing, China (2008.06.17-2008.06.20)] 2008 The 28th International Conference on Distributed Computing Systems Workshops - A Relaxation Approach to Dynamic Sensor Selection in Large-Scale Wireless Networks

Weimer, James E., Sinopoli, Bruno, Krogh, Bruce H.

Year:

2008

Language:

english

File:

PDF, 215 KB

english, 2008

38

[IEEE 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2011.11.7-2011.11.10)] 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Formal verification of phase-locked loops using reachability analysis and continuization

Althoff, Matthias, Yaldiz, Soner, Rajhans, Akshay, Li, Xin, Krogh, Bruce H., Pileggi, Larry

Year:

2011

Language:

english

File:

PDF, 2.24 MB

english, 2011

39

[IEEE 2006 38th North American Power Symposium - Carbondale, IL, USA (2006.09.17-2006.09.19)] 2006 38th North American Power Symposium - A Kalman Filter Approach to Quasi-Static State Estimation in Electric Power Systems

Blood, Ellery A., Ilic, Marija D., Ilic, Jovan, Krogh, Bruce H.

Year:

2006

Language:

english

File:

PDF, 512 KB

english, 2006

40

[IEEE 2008 American Control Conference (ACC '08) - Seattle, WA (2008.06.11-2008.06.13)] 2008 American Control Conference - Saturation-induced instability in electric power systems

Juhua Liu,, Krogh, Bruce H., Ilic, Marija D.

Year:

2008

Language:

english

File:

PDF, 153 KB

english, 2008

41

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 1790 ||

Lynch, Nancy, Krogh, Bruce H.

Year:

2000

Language:

english

File:

PDF, 6.17 MB

english, 2000

42

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 1790 || Ellipsoidal Techniques for Reachability Analysis

Lynch, Nancy, Krogh, Bruce H.

Year:

2000

Language:

english

File:

PDF, 250 KB

english, 2000

43

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 1790 || Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems

Lynch, Nancy, Krogh, Bruce H.

Year:

2000

Language:

english

File:

PDF, 229 KB

english, 2000

44

[IEEE 2010 49th IEEE Conference on Decision and Control (CDC) - Atlanta, GA, USA (2010.12.15-2010.12.17)] 49th IEEE Conference on Decision and Control (CDC) - A hierarchical approach to energy management in data centers

Parolini, Luca, Garone, Emanuele, Sinopoli, Bruno, Krogh, Bruce H.

Year:

2010

Language:

english

File:

PDF, 184 KB

english, 2010

45

[IEEE 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011) - Orlando, FL, USA (2011.12.12-2011.12.15)] IEEE Conference on Decision and Control and European Control Conference - Using parameters in architectural views to support heterogeneous design and verification

Rajhans, Akshay, Bhave, Ajinkya, Loos, Sarah, Krogh, Bruce H., Platzer, Andre, Garlan, David

Year:

2011

Language:

english

File:

PDF, 433 KB

english, 2011

46

[IEEE 2011 American Control Conference - San Francisco, CA (2011.6.29-2011.7.1)] Proceedings of the 2011 American Control Conference - Passivity-based robust control for power systems subject to wind power variability

Juhua Liu,, Krogh, Bruce H., Ydstie, B. Erik

Year:

2011

Language:

english

File:

PDF, 403 KB

english, 2011

47

[ACM Press the 16th international conference - Philadelphia, Pennsylvania, USA (2013.04.08-2013.04.11)] Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13 - Compositional heterogeneous abstraction

Rajhans, Akshay, Krogh, Bruce H.

Year:

2013

Language:

english

File:

PDF, 522 KB

english, 2013

48

[IEEE 2014 American Control Conference - ACC 2014 - Portland, OR, USA (2014.6.4-2014.6.6)] 2014 American Control Conference - Using verified control envelopes for safe controller design

Arechiga, Nikos, Krogh, Bruce

Year:

2014

Language:

english

File:

PDF, 406 KB

english, 2014

49

[IEEE 2008 American Control Conference (ACC '08) - Seattle, WA (2008.06.11-2008.06.13)] 2008 American Control Conference - Model checking in-the-loop: Finding counterexamples by systematic simulation

Lerda, Flavio, Kapinski, James, Maka, Hitashyam, Clarke, Edmund M., Krogh, Bruce H.

Year:

2008

Language:

english

File:

PDF, 365 KB

english, 2008

50

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 1790 || Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine

Lynch, Nancy, Krogh, Bruce H.

Year:

2000

Language:

english

File:

PDF, 531 KB

english, 2000